Bire ectivity

نویسندگان

  • M. Takeyama
  • R. D. Tennent
چکیده

Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bire ectivity. Bire ective subcategories of a category A are subcategories with left and right adjoint equal, subject to a coherence condition. We characterise them in terms of splitidempotent natural transformations on idA. In the special case that A is a presheaf category, we characterise them in terms of the domain, and prove that any bire ective subcategory of A is itself a presheaf category. We de ne diagonal structure on a symmetric monoidal category which is still more general than asking the tensor product to be the categorical product. We then obtain a bire ective subcategory of [C;Set] and deduce results relating its nite product structure with the monoidal structure of [C;Set] determined by that of C. We also investigate the closed structure. Finally, for completeness, we give results on bire ective subcategories in Rel(A), the category of relations in a topos A, and a characterisation of bire ection functors in terms of modules they de ne. c © 1999 Elsevier Science B.V. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Syntactic Control of Interference Revisited

In “syntactic control of interference” (POPL, 1978), J.C. Reynolds proposes three design principles intended to constrain the scope of imperative state e ects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as PCF) and simple ...

متن کامل

E ectivity of Regular Spaces

General methods of investigating e ectivity on regular Hausdor (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of e ective domain representations to get an e ectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead...

متن کامل

Estimating the energy source and re ectivity byseismic

Data produced by a reproducible source contains redundant information which allows seismic inversion to simultaneously determine the high-frequency uctuation in the P-wave velocity (or re ectivity) as well as the input energy source. The seismogram model is the plane-wave convolutional model derived from the constant density, variable sound velocity acoustic wave equation. The rst step is to an...

متن کامل

Computational 3 D and Re ectivity Imaging with High Photon

Imaging the 3D structure and re ectivity of a scene can be done using photon-counting detectors. Traditional imagers of this type typically require hundreds of detected photons per pixel for accurate 3D and re ectivity imaging. Under low light-level conditions, in which the mean photon count is small, the inverse problem of forming 3D and re ectivity images is di cult due to the Poisson noise i...

متن کامل

Stochastic Filtering of Rain Pro les using Radar, Surface-Referenced Radar, or Combined Radar/Radiometer Measurements

This paper describes a computationally e cient nearly-optimal Bayesian algorithm to estimate rain (and drop-size-distribution) pro les, given a radar re ectivity pro le at a single attenuating wavelength. In addition to estimating the averages of all the mutually ambiguous combinations of rain parameters that can produce the data observed, the approach also calculates the r.m.s. uncertainty in ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999